2 research outputs found
Modeling families of public licensing services: a case study
Software Product Lines (SPLs) enable the development
of families of software systems by taking advantage of the
commonalities and variabilities of the members of the family.
Despite its many advantages, it is an unexplored area in the
electronic government domain, an area with evident families of
services, and with high demands to develop faster and better
services to citizens and businesses while reducing costs. This
paper discusses the need of formal methods to model SPLs for
such domain. It presents a case study of a family of public
licensing services modeled in UPPAAL and based on Featured
Timed Automata, an extension of Timed Automata to model realtime
SPLs. It analyzes the suitability of FTA to model distributed
families of services, while provides hints on a possible enrichment
of FTA to better support modularization and compositionality of
services.This work is part of the project SMARTEGOV: Harnessing EGOV for Smart Governance (Foundations, Methods,
Tools) / NORTE-01-0145-FEDER-000037, supported by
Norte Portugal Regional Operational Programme (NORTE
2020), under the PORTUGAL 2020 Partnership Agreement,
through the European Regional Development Fund (ERDF).
The first author is further supported by FCT under grant
PD/BD/52238/2013
Portugal: Leapfrogging Digital Transformation
This report is structured as follow: Section 1 presents details about Portugal enabling or inhibiting its digital transformation. Section 2 analyzes the main motivations for the digital transformation strategy; Section 3 summarizes its main challenges, while Section 4 presents the main components of the strategy. Section 5 analyzes the governance model, and Section 6, the legal and regulatory framework. Section 7 discusses critical enablers for the digital transformation of government services. Section 8 introduces 16 key initiatives of the strategy. Section 9 summarizes the lessons learnt, followed by an assessment of the strategy’s impact in Section 10. Section 11 synthesizes lessons for Latin American countries. Finally, Appendix A enumerates main legal and regulatory instruments supporting the digital transformation in Portugal, Appendix B presents a set of 18 sections providing details of the initiatives analyzed in the report1, and Appendix C explains how the digital transformation efforts contributed to face the challenges raised by the COVID-19 pandemics.Fil: Estevez, Elsa Clara. Consejo Nacional de Investigaciones CientÃficas y Técnicas; Argentina. Universidad Nacional de La Plata; ArgentinaFil: Fillottrani, Pablo. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones CientÃficas; Argentina. Universidad Nacional del Sur; ArgentinaFil: Linares, Sebastián. Consejo Nacional de Investigaciones CientÃficas y Técnicas. Centro CientÃfico Tecnológico Conicet - BahÃa Blanca. Instituto de Investigaciones Económicas y Sociales del Sur. Universidad Nacional del Sur. Departamento de EconomÃa. Instituto de Investigaciones Económicas y Sociales del Sur; ArgentinaFil: Cledou, Maria Guillermina. Universidade do Minho; Portuga